add patch headers
authorOlivier Sallou <osallou@debian.org>
Mon, 30 Jun 2014 08:36:48 +0000 (08:36 +0000)
committerOlivier Sallou <osallou@debian.org>
Mon, 30 Jun 2014 08:36:48 +0000 (08:36 +0000)
commite045ff3730d6b820a173fe8eeef761b0888f1024
tree7b00d7ddfb215ebbf1f9b2603032872440f0b8e8
parentfa187e1767e70e38adf365ecc2aa2b6775879132
add patch headers
debian/patches/include_typeinfo